221. Formal models, languages and applications
پدیدآورنده: editors, K.G. Subramanian, K. Rangarajan, M. Mukund
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Formal languages,، Computational complexity,، Compilers )Computer programs(
رده :
QA
267
.
3
.
F698
2006
222. Formal models, languages and applications
پدیدآورنده: / editors, K.G. Subramanian, K. Rangarajan, M. Mukund
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Formal languages.,Computational complexity.,Compilers (Computer programs)
رده :
QA
,
267
.
3
,.
F698
,
2006
223. Functional and constraint logic programming :
پدیدآورنده: Julio Mariño (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming, Congresses,Mathematical Logic and Formal Languages
رده :
QA76
.
63
.
W45
2011
224. Grammar and L forms :
پدیدآورنده: Derick Wood.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal languages.,Langages formels.
رده :
QA267
.
3
D475
1980
225. Grammar and L forms : an introduction
پدیدآورنده: Wood, Derick
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Formal languages
رده :
QA
76
.
L4
v
.
91
226. Grammar and L forms : an introduction
پدیدآورنده: Wood, Derick, 0491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Formal languages
رده :
QA
76
.
L28
Vol
.
91
227. Grammar and L forms : an introduction
پدیدآورنده: Wood, Derick
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Formal languages
رده :
QA
267
.
3
.
W66
228. Grammars and automata for string processing: from mathematics and computer science to biology, and back
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
رده :
QA
76
.
G64
2003
229. Grammars and automata for string processing : from mathematics and computer science to biology, and back
پدیدآورنده: edited by Carlos Martin-Vide and Victor Mitrana
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
رده :
QA
76
.
G69
230. Grammatical inference
پدیدآورنده: / Josae M. Sempere, Pedro Garcaia (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Formal languages, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA267
.
3
.
I55
2010
231. Grammatical inference : Learning syntax from sentences : Third International Colloquium, ICGI-96 Montpellier, France, September 25-27, 1996 : proceedings
پدیدآورنده: Laurent Miclet, Colin de la Higuera )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1147
232. Grammatical inference : algorithms and applications : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings
پدیدآورنده: Georgios Paliouras, Yasubumi Sakakibara )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3264
233. Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings
پدیدآورنده: Arlindo L. Oliveira )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1891
234. Grammatical inference : algorithms and applications : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings
پدیدآورنده: Yasubumi Sakakibara....]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
4201
235. Grammatical inference : algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings
پدیدآورنده: Pieter Adriaans, Henning Fernau, Menno van Zaanen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2484
236. Grammatical inference and applications : second International colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
پدیدآورنده: Rafael C. Carrasco, Jose Oncina, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
862
237. Grammatical inference : 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings
پدیدآورنده: Vasant Honavar, Giora Slutzki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1433
238. Grammatical inference: theoretical results and application
پدیدآورنده: / ICGI 2010, Valencia, Spain, September 13 - 16, 2010. Josae M. Sempere
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Formal languages, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
E-BOOK
239. Graph-grammars and their application to computer science and biology : International Workshop, Bad Honnef, Oct. 30 - Nov. 3, 1978
پدیدآورنده: edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages,Congresses ، Graph theory,Congresses ، Data structures )Computer science(,، Graph grammars
رده :
QA
76
.
L28
Vol
.
73
240. Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978
پدیدآورنده: edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Formal languages,Congresses ، Graph theory,Congresses ، Data structures )Computer science(,، Graph grammars
رده :
QA
76
.
L4
v
.
73
